Fractional Pebbling Game Lower Bounds

نویسنده

Frank Vanderzwet

چکیده

Fractional pebbling is a generalization of black-white pebbling introduced recently. In this reasearch paper we solve an open problem by proving a tight lower bound on the pebble weight required to fractionally pebble a balanced d-ary tree of height h. This bound has close ties with branching programs and the separation of P from NL.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Pebbling and Branching Programs Solving the Tree Evaluation Problem

We study restricted computation models related to the tree evaluation problem. The TEP was introduced in earlier work as a simple candidate for the (very) long term goal of separating L and LogDCFL. The input to the problem is a rooted, balanced binary tree of height h, whose internal nodes are labeled with binary functions on [k] = {1, . . . , k} (each given simply as a list of k2 elements of ...

متن کامل

A On the Relative Strength of Pebbling and Resolution

The last decade has seen a revival of interest in pebble games in the context of proof complexity. Pebbling has proven to be a useful tool for studying resolution-based proof systems when comparing the strength of different subsystems, showing bounds on proof space, and establishing size-space trade-offs. The typical approach has been to encode the pebble game played on a graph as a CNF formula...

متن کامل

t-Pebbling and Extensions

We give upper bounds on t-pebbling numbers of graphs of small diameter and investigate the relationships between these results and those relating to fractional pebbling. Furthermore, we present a connection between optimal pebbling and linear optimization and utilize this relationship in analyzing various graphs. We introduce the optimal fractional pebbling number of a graph and provide a combi...

متن کامل

Fractional Pebbling and Thrifty Branching Programs

We study the branching program complexity of the tree evaluation problem, introduced in [BCM+09a] as a candidate for separating NL from LogCFL. The input to the problem is a rooted, balanced dary tree of height h, whose internal nodes are labelled with d-ary functions on [k] = {1, . . . , k}, and whose leaves are labelled with elements of [k]. Each node obtains a value in [k] equal to its d-ary...

متن کامل